TU Berlin

Modelle und Theorie Verteilter SystemePublikationen

MTV mit Schwung

Inhalt des Dokuments

zur Navigation

Publikationen

On bisimulations for the spi calculus
Zitatschlüssel DBLP:journals/mscs/BorgstromN05
Autor Johannes Borgström and Uwe Nestmann
Seiten 487-552
Jahr 2005
Journal Mathematical Structures in Computer Science
Jahrgang 15
Nummer 3
Link zur Publikation Download Bibtex Eintrag

Navigation

Direktzugang

Schnellnavigation zur Seite über Nummerneingabe